Formal Techniques For Safety-critical Systems | Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems, Fachbücher von Peter Csaba Ölveczky, Cyrille Artho

Formal Techniques For Safety-critical Systems 6th International

Formal Techniques for Safety-Critical Systems, Fachbücher von Osman Hasan, Frédéric Mallet

Formal Methods For Industrial Critical Systems Francesco Flammini (u.

Formal Methods For Industrial Critical Systems | Dejan Ni¿kovi¿ (u.

Peter Csaba Ölveczky (u. A.) | Formal Aspects Of Component Software |

Formal Methods For Industrial Critical Systems 19th International

Formal Techniques For Distributed Objects, Components, And Systems |

A Study On Safety Metrics For Safety-critical Computer Systems Kotti

Laure Petrucci (u. A.) | Critical Systems: Formal Methods And

Formal Techniques For Networked And Distributed Systems Forte 2001

Formal Techniques For Distributed Systems 11th Ifip Wg 6.1

Peter Csaba Ölveczky | Designing Reliable Distributed Systems |

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed